Automated theorem proving - PDFSEARCH.IO - Document Search Engine

Automated theorem proving
Results: 768

#	Item
621	RAC Rev. R. Acad. Cien. Serie A. Mat. VOL[removed]), 2004, pp. 17–53 Ciencias de la Computaci´on / Computational Sciences Add to Reading List Source URL: dmle.cindoc.csic.es Language: English - Date: 2006-11-08 13:46:09 Proof theory Logical syntax Automated theorem proving Metalogic Propositional calculus Sequent First-order logic KeY Well-formed formula Logic Mathematical logic Mathematics
622	Proof Reuse for Deductive Program Verification Bernhard Beckert and Vladimir Klebanov Institute for Computer Science University of Koblenz-Landau www.key-project.org Add to Reading List Source URL: i12www.ira.uka.de Language: English - Date: 2014-04-20 12:37:51 Automated theorem proving Theoretical computer science Proof theory Model theory Mathematical proof KeY Reuse Theorem First-order logic Logic Mathematics Mathematical logic
623	Discussion: Unification and Predictive Accuracy* Malcolm R. Forster†‡ Department of Philosophy, University of Wisconsin, Madison Wayne Myrvold[removed]has captured an important feature of unified theories, and he ha Add to Reading List Source URL: philosophy.wisc.edu Language: English - Date: 2011-09-15 11:57:01 Unification Hand Lion-reclining Egyptian hieroglyphs Automated theorem proving Logic programming
624	Under consideration for publication in J. Functional Programming 1 Functional Design and Implementation of Graphical User Interfaces for Theorem Provers Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2010-02-16 04:30:00 Computing Theoretical computer science Formal methods Software architecture Logic in computer science Proof assistant Isabelle Graphical user interface Window User interface techniques Software Automated theorem proving
625	Job-Driven (JD) National Emergency Grant (NEG) NEG Electronic Application System (eSystem) User Guide Complete applications must be received by COB May 27, 2014 to be considered for funding Add to Reading List Source URL: www.doleta.gov Language: English - Date: 2014-04-25 14:50:46 Rules of inference Boolean algebra Logic in computer science Mathematics Mathematical logic Theoretical computer science Automated theorem proving
626	Job-Driven (JD) National Emergency Grant (NEG) NEG Electronic Application System (eSystem) User Guide Complete applications must be received by COB May 27, 2014 to be considered for funding Add to Reading List Source URL: www.doleta.gov Language: English - Date: 2014-04-25 14:50:46 Rules of inference Boolean algebra Logic in computer science Mathematics Mathematical logic Theoretical computer science Automated theorem proving
627	The Power of Choice in Random Satisfiability Varsha Dani, University of New Mexico Josep Díaz, Universitat Politècnica de Catalunya Thomas Hayes, University of New Mexico Cristopher Moore, Santa Fe Institute Add to Reading List Source URL: tuvalu.santafe.edu Language: English - Date: 2013-08-24 21:10:43 NP-complete problems Automated theorem proving Logic in computer science Boolean algebra Boolean satisfiability problem Electronic design automation 2-satisfiability Unit propagation Clause Theoretical computer science Mathematics Applied mathematics
628	Actor Prolog: an Object-Oriented Language with the Classical Declarative Semantics Alexei A. Morozov Institute of Radio Engineering and Electronics of RAS Add to Reading List Source URL: www.cplire.ru Language: English - Date: 2007-09-24 06:53:33 Logic programming Automated theorem proving Programming paradigms Prolog Computer program Unification Occurs check First-order logic Logic Software engineering Computing Computer programming
629	Microsoft PowerPoint - session.16-18_a.ppt [Compatibility Mode] Add to Reading List Source URL: www.cool-ai.com Language: English - Date: 2008-11-19 00:39:09 Rules of inference Propositional calculus Automated theorem proving Boolean algebra Ground expression First-order logic Modus ponens Resolution Function Logic Mathematical logic Mathematics
630	A functional reconstruction of anti-unification NR Norwegian Computing Center Add to Reading List Source URL: publications.nr.no Language: English - Date: 2011-02-11 06:14:51 Logic programming Model theory Integral calculus Automated theorem proving Unification Interpretation Integration by substitution Function Monad Mathematics Mathematical logic Declarative programming

UPDATE